and Models of Computer Programming - PDFSEARCH.IO - Document Search Engine

and Models of Computer Programming
Results: 208

#	Item
171	jn2004[removed]Context free grammars (CFG) and languages (CFL) Goals of this chapter: CFGs and CFLs as models of computation that define the syntax of hierarchical formal notations as used in programming or markup lang Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2004-11-18 06:12:17 Context-free grammar Theoretical computer science Pumping lemma for regular languages Pumping lemma for context-free languages Pushdown automaton Formal grammar Controlled grammar Vertex operator algebra Formal languages Mathematics Software engineering
172	Comments Template on CEIOPS-CP 65 Consultation Paper on the Draft L2 Advice on Partial internal models Name of Company: Add to Reading List Source URL: eiopa.europa.eu Language: English - Date: 2010-09-06 07:15:49 European Insurance and Occupational Pensions Authority European Union Solvency II Directive Economic model Computing Software development process Comment Information Computer programming Economy of the European Union
173	Comments Template on CEIOPS-CP 80 Consultation Paper on the Draft L3 Guidance on the pre-application process for internal models Name of Company: Add to Reading List Source URL: eiopa.europa.eu Language: English - Date: 2010-09-06 07:17:19 European Union Computing Solvency II Directive Comment Template processor Computer programming Economy of the European Union European Insurance and Occupational Pensions Authority
174	Comments Template on CEIOPS-CP 80 Consultation Paper on the Draft L3 Guidance on the pre-application process for internal models Name of Company: Add to Reading List Source URL: eiopa.europa.eu Language: English - Date: 2010-09-06 07:17:19 European Insurance and Occupational Pensions Authority European Union Comment Template processor Computer programming Computing Economy of the European Union
175	Polymorphism and Separation in Hoare Type Theory Aleksandar Nanevski Greg Morrisett Harvard University Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Logic in computer science Program logic Models of computation Programming language semantics Formal methods Denotational semantics Separation logic Hoare logic Lambda calculus Mathematical logic Theoretical computer science Logic
176	Certified Web Services in Ynot Ryan Wisnesky, Gregory Malecha, and Greg Morrisett Harvard University {ryan, gmalecha, greg}@cs.harvard.edu Abstract. In this paper we demonstrate that it is possible to implement certifie Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Formal methods Procedural programming languages Theoretical computer science Models of computation Functional languages Monad ALGOL 68 Map Standard ML Software engineering Computing Mathematics
177	Efficient Collision Detection of Complex Deformable Models using AABB Trees G INO VAN DEN B ERGEN Department of Mathematics and Computing Science Eindhoven University of Technology P.O. Box 513, 5600 MB Eindhoven Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 1999-06-16 07:20:07 Computing Computer programming Collision detection R-tree AABB Minimum bounding box Binary tree T-tree Bin 3D computer graphics Geometry Bounding volume
178	Continuations and Transducer Composition Olin Shivers Matthew Might Georgia Institute of Technology Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Computer programming Models of computation Computability theory Lambda calculus Theoretical computer science Call-with-current-continuation Continuation-passing style Weight Software engineering Continuations Computing
179	Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation PETER SEWELL Computer Laboratory, University of Cambridge and Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-02-03 14:17:39 Applied mathematics Mathematics Π-calculus Deduction Concurrent computing Process calculus Models of computation Actor model Lambda calculus Process calculi Logic Theoretical computer science
180	ECSYM Part B1- Section 1d EVENTS, CAUSALITY AND SYMMETRY Glynn Winskel —the next-generation semantics Section 1d: Extended Synopsis Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-02-08 06:55:17 Models of computation Programming language semantics Applied mathematics Concurrency Denotational semantics Power domains Semantics Operational semantics Petri net Theoretical computer science Computer science Logic in computer science

UPDATE